Publisher version (open access) of A chain rule for essentially smooth Lipschitz functions